Леонова М. А. , Девянин П. Н. «Приёмы описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её верификации инструментами Rodin и ProB» // Прикладная дискретная математика 2021. №52 C.83-96
Девянин П. Н. , Леонова М. А. «Сравнение способов моделирования механиз мов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB» // Прикладная дискретная математика. Приложение 2022. №15 C.90-99
Шелехов В. И. , Чушкин М. С. «Методы синтеза фрагментов предикатных программ» // Прикладная дискретная математика. Приложение 2016. №9 C.126-128
Чушкин М. С. «Завершение эскизов предикатных программ методом синтеза через контрпримеры» // Прикладная дискретная математика. Приложение 2017. №10 C.151-153
Вы можете добавить статью